Making Sure Thick Model Is Satisfied

.